Logical foundations of computer science - Tver '92 : proceedings : second international symposium, Tver, Russia, July 20-24, 1992
- Författare
- (A. Nerode, M. Taitslin (eds.).)
- Genre
- Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer-Vlg | cop. 1992 | Tyskland, Berlin, New York | ix, 514 sidor. ill. |